add_library(percy INTERFACE)

target_include_directories(percy INTERFACE ${PROJECT_SOURCE_DIR}/include)

if (${PERCY_BUILD_CMS})
    target_include_directories(percy INTERFACE ${CMS_INCLUDE_DIR})
    add_dependencies(percy libcryptominisat5)
endif()

if (${PERCY_SATOKO})
    target_compile_definitions(percy INTERFACE USE_SATOKO)
    target_link_libraries(percy INTERFACE satoko)
else()
    target_compile_definitions(percy INTERFACE DISABLE_SATOKO)
endif()

target_link_libraries(percy INTERFACE kitty fmt libabcsat)

if (${DISABLE_NAUTY})
    target_compile_definitions(percy INTERFACE DISABLE_NAUTY)
else()
    target_link_libraries(percy INTERFACE nauty)
endif()
if (UNIX)
    if (${PERCY_USE_SYRUP})
        target_compile_definitions(percy INTERFACE USE_SYRUP)
        target_link_libraries(percy INTERFACE syrup pthread)
    elseif(${PERCY_USE_GLUCOSE})
        target_compile_definitions(percy INTERFACE USE_GLUCOSE)
        target_link_libraries(percy INTERFACE glucose)
    endif()
endif()
